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.