The proof is convoluted because the author did not use modular arithmetic. Here's my translation of the proof using modular arithmetic.
Suppose the sum of two odd squares is a square ; then it has to be a square of an even integer, so . Now note that any odd square is . (Expand ). Therefore which contradicts .