theorem :: XPRIMES0:65

not 65 is prime