theorem P1NotPrime: :: MOEBIUS3:39

for p being Prime st p > 2 holds
not p + 1 is Prime