theorem :: XPRIMES0:96

not 96 is prime