Beweisarchiv: Lie-Algebren: TOPNAV