theorem :: XPRIMES0:74

not 74 is prime