2より大きい素数の否定って2より小さい合成数と思ったんですが違うらしく
うまく飲み込めないです