‘Der Satz, dessen || Wessen Beweisbarkeit bewiesen ist, gilt als bewiesen.’