„non-constructive proof" nicht gefunden