.gitignore ergänzt: .kilepr hinzugefügt.
Die e_λ bilden eine Basis der symmetrischen Polynome. Vorlesung vom 9.5.

Statt des technischen und mir unverständlichen Beweises aus der Vorlesung wird die Aussage direkt daraus abgeleitet, dass die e_i die symmetrischen Polynome als Algebra erzeugen.