theorem :: XPRIMES0:1120

not 1120 is prime