>>477
とある数pが存在すると仮定する。
その数pはpに関する①式と②式を満たさないといけないとする。
ところで①式は②を満たさない数でも成立するとする。
しかしこれは、pが存在しないことにはならない。
まだ、①式を満たす数であれば必ず②を満たさないということが示されていないからだ。
そのため①と②を同時に満たす数pの存在が否定できてない。
ここまで理解できますか？


ついでにお前のファイル
＞整数をs,tとして2a-2c=(p-1)s
としているのに
＞a-c=(g-k)(p-1)だからs=g-k (s>0)
ってしてるのがミス。
そらp=1じゃないと等号とれなくなるわなｗｗｗ