theorem :: XPRIMES0:1991

not 1991 is prime