theorem :: XPRIMES0:1990

not 1990 is prime