Is this the most beautiful proof? (Fermats Two Squares)