3 ms·Consequence from a known result describes literally every proof.by adastra22 11mo agoConsequence from a known result describes literally every proof.