Fermat's Theorem on Sums of Two Squares