Four Square Theorem