theorem :: XPRIMES0:1131

not 1131 is prime