theorem :: XPRIMES0:1128

not 1128 is prime