Kurs:Analysis/Polynom/K/Interpolation/Fakt/Faktreferenznummer

Satz 11.8 (Analysis (Osnabrück 2021-2023))