theorem :: NUMBER03:63

{ n where n is Nat : ( n + 1 is prime & n + 3 is prime & n + 7 is prime & n + 9 is prime & n + 13 is prime & n + 15 is prime ) } = {4}