minikorr; lemma in saetze