theorem :: XPRIMES0:1642

not 1642 is prime