Elementary real analysis without compactness argument

In a famous paper, R. A. Gordon proved a dozen theorems using tagged partitions and Cousin’s theorem. The purpose of this paper is to present several classical results using the key-lemma underlying Cousin’s theorem.