theorem :: XPRIMES0:1725

not 1725 is prime