Einleitung wieder zusammengefasst, versuch theorems mit labels zu versehen vorläufig gescheitert