theorem :: XPRIMES0:1786

not 1786 is prime