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