theorem :: XPRIMES0:1996

not 1996 is prime