theorem :: XPRIMES0:676

not 676 is prime