theorem :: XPRIMES0:768

not 768 is prime