theorem Th30: :: NAT_4:30

23 is prime