Single Instruction URM Programs/Zero Function

Theorem
The zero function $\Zero: \N \to \N$, defined as:
 * $\forall n \in \N: \map \Zero n = 0$

is URM computable by a single-instruction URM program.

Proof
The zero function is computed by the following URM program:

This sets the value $0$ into $R_1$ and then stops.

The output $0$ is in $R_1$ when the program terminates.