theorem :: XPRIMES0:1132

not 1132 is prime