A strengthening of the Katětov-Tong insertion theorem
Normal spaces are characterized in terms of an insertion type theorem, which implies the Katětov-Tong theorem. The proof actually provides a simple necessary and sufficient condition for the insertion of an ordered pair of lower and upper semicontinuous functions between two comparable real-valued functions. As a consequence of the latter, we obtain a characterization of completely normal spaces by real-valued functions.