theorem :: XPRIMES0:1782

not 1782 is prime