theorem :: XPRIMES0:1096

not 1096 is prime