theorem :: XPRIMES0:192

not 192 is prime