theorem :: XPRIMES0:1085

not 1085 is prime