theorem :: XPRIMES0:1162

not 1162 is prime