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