Real function/Continuity in a point/Characterization/Fact