An Integer and Its Square Biconditional PROOF