theorem Th26: :: NAT_4:26

7 is prime