fixed a lemma in georgius