theorem Th62: :: NUMBER03:62

for n being Nat holds
( 5 divides n + 1 or 5 divides n + 7 or 5 divides n + 9 or 5 divides n + 13 or 5 divides n + 15 )