theorem Th28: :: INT_2:28

2 is prime