So the Lemma is proven.
A lemma é bicarenada.