Der Begriff
einer
der
Beweiskonstruktion kann auf verschiedenen Umwegen nützlich sein.

128