theorem ThreeConsecutive: :: NUMBER06:18

for n being Nat holds
( 3 divides n or 3 divides n + 1 or 3 divides n + 2 )