theorem :: XPRIMES0:1992

not 1992 is prime