theorem :: XPRIMES0:1180

not 1180 is prime