Fermat's Two Squares Theorem/Uniqueness Lemma

Lemma for Fermat's Two Squares Theorem
Let $p$ be a prime number.

Suppose there were an expression:
 * $p = a^2 + b^2$

where $a$ and $b$ are positive integers.

Then that expression would be unique except for the order of the two summands.