なんでこうも証明できない r^(p-1)=p にこだわるんだろう