Convergents of a Simple Continued Fraction Are in Lowest Terms