>>471
十分条件を表す式から必要条件を表す式を導出したあとに、その必要条件を満たすが十分条件は満たさない数があると主張されても、誰も矛盾とは思わない。当たり前としか

あと
＞a-c=(g-k)(p-1)だから
s=g-k (s>0)

＞整数をs,tとして
2a-2c=(p-1)s
と矛盾