http://www.w-kohno.co.jp/BLOG-NAME/2008/02/08/data02.gif
これの２番目は(an+1,bn+1)=r=pt->(an,bn)=p...->(a2,b2)=(2,3)=pで矛盾だからでいいの？
(p,a^m)=p->(p,a)=p
pは素数を使うけどこれって高校ではおしえていないのでは？