„mathematical proof" nicht gefunden