theorem :: NUMBER12:44

for p being Prime st p + 2 is Prime & p + 6 is Prime & p + 8 is Prime & p + 12 is Prime & p + 14 is Prime holds
p = 5