It would be nice if they described Euclid's argument in its original geometric form rather than converting it back to post 1700 algebra notation.