Elliptische Kurve/Endlicher Körper/Identität-Frobenius/Separabel/Fakt/Beweis