Zirkel und Lineal/Konstruierbare Zahlen bilden einen Unterkörper/Fakt