theorem :: XPRIMES0:642

not 642 is prime