theorem :: XPRIMES0:1802

not 1802 is prime