lemma

lemma has not provided any additional information.