補題
>>69 と同じ前提において、

p_n/q_n - p_(n-2)/q_(n-2) = (-1)^n k_n/q_nq_(n-2)

証明
p_n/q_n - p_(n-2)/q_(n-2) = (p_nq_(n-2) - q_np_(n-2))/q_nq_(n-2)

これと >>72 より本補題の等式が得られる。
証明終