theorem Th33: :: NAT_4:33

83 is prime