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