Identity Function is Computable Real Function

Theorem
Let $I_\R : \R \to \R$ denote the identity function on $\R$.

Then $I_\R$ is a computable real function.

Proof
Follows immediately from:
 * Identity Function is Sequentially Computable Real Function
 * Identity Function is Computably Uniformly Continuous Real Function