theorem :: XPRIMES1:719

719 is prime