theorem Th32: :: NUMERAL2:32

73 is prime