theorem :: XPRIMES0:1763

not 1763 is prime