theorem :: XPRIMES0:639

not 639 is prime