theorem :: XPRIMES0:1152

not 1152 is prime