Ist es so: Der Satz A enthält nichts anders als B, ja ist eine Abkürzung von B. Ich kann aber doch nicht sagen, daß B mittels
α
a + (b + c) = (a + b) + c
bewiesen würde. Das heißt ja natürlich gar nichts. – Nur β & γ wurden mit α bewiesen. –