Real function/Continuity in a point/Characterization/Fact/Proof