theorem :: XPRIMES0:654

not 654 is prime