"existence theorem" Deutsche bedeutung