Induction: A small variable renaming.