Ist es so: Der Satz A enthält nichts andres als B; ja, ist eine Ab-
kürzung von B. Ich kann aber doch nicht sagen, daß B mittels a + (b + 1) = (a + b) + 1 … α) bewiesen wurde. Das heißt ja natürlich gar nichts. – Nur β und γ wurden mit α bewiesen. –