Als Vorbereitung des Beweises des Hauptsatzes beweisen wir zunächst zwei ''Lemmata''.
{{K|Mathematik|Logik}}  ein [[Satz]], der vor allem als Hilfssatz im Beweis eines wichtigeren Satzes von Bedeutung ist