Rational Numbers and Simple Finite Continued Fractions are Equivalent

Theorem
Simple finite continued fraction‎s and rational numbers are equivalent, in the following precise sense.