Lemmafrage Bearbeiten

Hallo,

müsste das Lemma nicht eigenlich Oliver $ sein. Das jetzige kann ja als WL erhalten bleiben.-----