theorem :: XPRIMES0:713

not 713 is prime