Kurs:Zahlentheorie (Osnabrück 2008)/Einheitskreis/Rationale Parametrisierung/Fakt/Faktreferenznummer