theorem :: XPRIMES0:1402

not 1402 is prime