theorem :: XPRIMES0:658

not 658 is prime