Identity Mapping between Metrics separated by Scale Factor is Continuous

Theorem
Let $M_1 = \left({A, d_1}\right)$ and $M_2 = \left({A, d_2}\right)$ be metric spaces on the same underlying set $A$.

Let $d_1$ and $d_2$ be such that:
 * $\forall x, y \in A: d_2 \left({x, y}\right) \le K d_2 \left({x, y}\right)$

Let $I_A: A \to A$ be the identity mapping on $A$.

Then $I_A$ is continuous from $M_1$ to $M_2$.

Proof
Let $\epsilon \in \R_{>0}$.

Let $a \in A$.

Set $\delta = \dfrac \epsilon K$.

Then:

Hence by definition $I_A$ is continuous at $a$.

As $a$ is arbitrary, it follows that this is true for all $a \in A$.

Thus $I_A$ is continuous on the whole of $M_1$.