theorem Th35: :: NAT_4:35

163 is prime