>>451
p=4q+1は0(p-1)=0であるための十分条件ではあるが必要条件ではない