theorem :: XPRIMES0:626

not 626 is prime