theorem :: XPRIMES0:1177

not 1177 is prime