theorem :: XPRIMES0:1032

not 1032 is prime