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