theorem :: XPRIMES0:184

not 184 is prime