theorem :: XPRIMES0:1094

not 1094 is prime