theorem Th21: :: NUMBER07:21

for n being Nat holds
( not n divides 226 or n = 1 or n = 2 or n = 113 or n = 226 )