"going down theorem" Deutsche bedeutung