Let D⊆ℝ be an interval of nonzero length from which at most finitely man points x1,...,xn have been removed and let f: D→ℝ be a function. Then every discontinuity x∈D∪{x1,...,xn} of f is one of four types (removable, jump, infinite or discontinuity by oscillation).
Proof: Let x∈D or let x be...