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?