theorem :: XPRIMES0:996

not 996 is prime