theorem :: XPRIMES0:1185

not 1185 is prime