theorem :: XPRIMES0:1752

not 1752 is prime