Wenn ich sage daß beim Beweis A a + (b + c) = (a + b) + c herauskommt, habe ich da schon vorher einen Begriff dessen, was ich als den Beweis dieser Formel ansehen würde.