theorem Th25: :: NUMERAL2:25

41 is prime