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

128