Canonical Form of Rational Number is Unique

Theorem
The canonical form of a rational number is unique.

Also see

 * Existence of Canonical Form of Rational Number