theorem :: XPRIMES0:1902

not 1902 is prime