>>397
まず、a=b=2はa,bの定義からない
p=1はそのときには、modの計算で全て正しくなるので、矛盾にならないので
問題ない