theorem Th28: :: NAT_4:28

13 is prime