change a lemma name to avoid shadowing stdlib name