HT67F2372 - Holtek

statement then follows immediately from Lemmas 2.3.17 and 2.3.19. Lemma 2.3.21. Let K be a p-adic field. Let E be an elliptic curve over K given by.