theorem :: XPRIMES0:1762

not 1762 is prime