theorem :: XPRIMES0:1062

not 1062 is prime