theorem Th35: :: NUMERAL2:35

97 is prime