theorem :: XPRIMES0:628

not 628 is prime