"independence complement theorem" Deutsche bedeutung