>>153
そんな事は書いていないということで、pは整数と定義している。
その定義した整数pが素数であるという場合があることは何の矛盾もない。
素数の集合をP、整数の集合をNとすると
P⊂N
となる。このくらいの事も分からないのだろうか？

>>154
素人は解決をすることができない