theorem Th11: :: NUMBER08:11

for n being Nat holds
( not n divides 27 or n = 1 or n = 3 or n = 9 or n = 27 )