theorem Th34: :: NAT_4:34

139 is prime