theorem :: XPRIMES0:1092

not 1092 is prime