Kurs:Analysis (Osnabrück 2021-2023)/Reelle Kosinusfunktion/Genau eine Nullstelle zwischen 0 und 2/Fakt/Faktreferenznummer