theorem :: XPRIMES0:76

not 76 is prime