theorem Th29: :: INT_2:29

not 4 is prime