theorem Th36: :: NUMERAL2:36

101 is prime