theorem :: XPRIMES0:678

not 678 is prime