Continuity in a point/K/Characterization/Fact/Proof