theorem :: XPRIMES0:1086

not 1086 is prime