>>79 訂正
ck=n/dk
dkがnの約数にならない場合は
ck=A/Bとし、AとBは整数でckは既約であるとする

dk=n/ck=Bn/A
となるから、nがAで割れる場合には整数になるがそれ以外の場合は
非整数になる。

この場合に矛盾が生じることから、dkが非整数の場合には矛盾ということに
なり、dkが整数の場合のみを考えればよいことになる