Register Update lemma.