Canonical Form of Rational Number is Unique

Theorem
The canonical form of a rational number is unique.