Die letzten Gleichungen in diesem Prozeß sind Definitionen.