theorem :: XPRIMES0:725

not 725 is prime