Square Modulo n Congruent to Square of Inverse Modulo n

Theorem
Let $n \in \Z_{>0}$ be a (strictly) positive integer.

Then:
 * $a^2 \equiv \paren {n - a}^2 \pmod n$

where the notation denotes congruence modulo $n$.