Was ist das für ein Satz, : daß sich das distributive Gesetz induktiv beweisen läßt? Oder: daß es sich aus der rekursiven Definition a + (b + 1) = (a + b) + 1 durch Induktion beweisen läßt?