theorem :: XPRIMES0:992

not 992 is prime