a + (b + c) = (a + b) + c kann doch nun eine Abkürzung des Induktionsbeweises sein.