theorem :: XPRIMES0:1125

not 1125 is prime