„constructive proof" nicht gefunden