theorem :: XPRIMES0:162

not 162 is prime