Prüfe: ‘Wer einen neuen Beweis eines Satzes || zu einem Satz1 entdeckt hat, hat eine neue Anwendung des Satzes entdeckt.’

Editorial notes

1) The entire insertion "eines Satzes" / "zu einem Satz" is marked with three diagonal strokes, possibly suggesting its deletion.