Two Squares Theorem