ちなみに>>140の問題は、nについての恒等式とすると自明となり証明できないので
a,bを定数とみなしてユークリッドの互助方で解くことになります。