Rodicio's lemma