|
|
|
|
|
|
by davrosthedalek
543 days ago
|
|
|
That is not what the proof proves. The proof proves the equivalence how it was originally stated, and assumes for that b<a. Your rewriting is of course true for all a,b and might be used in an algebraic proof. But this transformation is not at all shown in the geometric proof. |
|
|