 The proof of this theorem is an easy induction on the term \(M\). The properties of \(\triangleright_\textrm{sr}\) guarantee that one or more one-step reductions can be performed at once, but the reductions cannot interfere (or overlap) with each other.