Proper Fraction can be Expressed as Finite Sum of Unit Fractions

Theorem
Let $\dfrac p q$ denote a proper fraction expressed in canonical form.

Then it is always possible to express $\dfrac p q$ as the sum of a finite number of distinct unit fractions: