theorem :: XPRIMES0:1088

not 1088 is prime