theorem :: XPRIMES0:68

not 68 is prime