theorem :: XPRIMES0:1082

not 1082 is prime