But you are not done. You only proved it one direction: Ifexists then the function has the Cauchy property. That is the easy direction. Now prove that if the function has the Cauchy property thenlexists. That requires some equivalence to the Heine-Borel theorem.l