Kurs:Grundkurs Mathematik/Angeordneter Körper/Heron-Verfahren/Folge/Eigenschaften/Fakt/Faktreferenznummer

Satz 43.7 (Grundkurs Mathematik (Osnabrück 2022-2023))