theorem :: XPRIMES0:648

not 648 is prime