Block Copy Program

Theorem
Let $$k, m, n \in \N$$ be natural numbers such that:
 * $$k \ge 1$$;
 * $$\left|{m - n}\right| \ge k$$.

The URM program defined as:

is called a block copy program.

It is abbreviated $$C \left({m, n, k}\right)$$.

It has the effect of copying the contents of registers $$R_m, R_{m+1}, \ldots, R_{m+k-1}$$ into the registers $$R_n, R_{n+1}, \ldots, R_{n+k-1}$$ respectively.

It has length defined as $$\lambda \left({C \left({m, n, k}\right)}\right) = k$$.

Proof
Immediate.