Proofs of Fermat's theorem on sums of two squares

1. Redirect Fermat's theorem on sums of two squares

{{rcat shell|

{{r from subtopic}}

{{r from merge}}

}}