theorem :: XPRIMES0:189

not 189 is prime