you’re right, and this proof is probably derived from that.
I thought the sum of two squares wasn’t equivalent to the square of two sums to begin with?