“…In fact, L/F is the unique unramified quadratic field extension if e(O) = −1, and it is a ramified quadratic field extension if e(O) = 0. In the latter case, the ramified quadratic extension L/F can be arbitrary if n(O) = 2 according to[4, (3.14)]; and it is uniquely determined by O if n(O) ≥ 3 and F is nondyadic according to[17, Lemma 3.5].2 From the proof of [4, Theorem 3.3 and 3.10], any two embeddings of O L into O are conjugate by an element of the normalizer of O, thus expression (3.4) does not depend on the choice of the embedding O L ֒→ O.…”