Kurs:Zahlentheorie (Osnabrück 2016-2017)/Einheitskreis/Rationale Parametrisierung/Fakt/Faktreferenznummer