theorem :: XPRIMES1:709

709 is prime