theorem :: XPRIMES0:1126

not 1126 is prime