theorem :: XPRIMES0:1166

not 1166 is prime