Wissen, daß man etwas beweisen kann, ist, es bewiesen haben.