theorem :: XPRIMES0:402

not 402 is prime