"proximity theorem" Deutsche bedeutung