theorem :: XPRIMES0:1750

not 1750 is prime