>>856
>(Y) ⇒ (Z) 、しかし逆は成立しない
(Y)はpが不定ということだから、成り立たない

逆はp=1以外の解がp=4q+1であれば成り立つが、そうなる解はないはず