>>11364172>>11363666Assume P
Show P implies Q
Q is true, therefore P is true
That's not a valid proof. Consider the following:
2 =? 1
2*0 =? 1*0
0 = 0
The last line is true, so clearly the first is true. Just because the statement being made in the OP is true doesn't mean the proof is valid.
