Gleichungen im Nachweis