theorem Th10: :: NUMBER02:10

not 30 is prime