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

p_nq_(n-2) - p_(n-2)q_n = (-1)^n k_n

証明
p_nq_(n-2) - p_(n-2)q_n
= (p_(n-1)k_n + p_(n-2))q_(n-2) - p_(n-2)(q_(n-1)k_n + q_(n-2)))
= (p_(n-1)q_(n-2) - p_(n-2)q_(n-1))k_n
= (-1)^n k_n
証明終