Equivalence of Definitions of Convergent of Continued Fraction

Proof
This follows immediately from Value of Finite Continued Fraction equals Numerator Divided by Denominator.