Wenn man sagt, B ist ein Beweis von A, so zeigt das, in welchem Sinn A als Gleichung gemeint ist.
10