Dies folgt aus Fakt, indem man die elliptische Kurve über K ¯ {\displaystyle {}{\overline {K}}} betrachtet.