theorem Th32: :: NAT_4:32

43 is prime