Sequential Continuity is Equivalent to Continuity in Metric Space/Corollary

Corollary to Sequential Continuity is Equivalent to Continuity in Metric Space
Let $\left({X, d}\right)$ and $\left({Y, e}\right)$ be metric spaces.

Let $f: X \to Y$ be a mapping.

$f$ is continuous on $X$ $f$ is sequentially continuous on $X$.

Proof
This follows immediately from the definitions:

By definition, a mapping is sequentially continuous everywhere in $X$ iff it is sequentially continuous at each point.

Also by definition, a mapping is continuous everywhere in $X$ iff it is continuous at each point.

The result follows from Sequential Continuity is Equivalent to Continuity in Metric Space.