MathCastle
Proof WritingMediumWhat a Proof Is

What a Proof Is · Medium problem

A proof says: "since a2=b2a^2 = b^2, we have a=ba = b." Which fact, established earlier in the proof, would make this line valid?