theorem :: XPRIMES0:1184

not 1184 is prime