theorem :: XPRIMES0:1036

not 1036 is prime