TY - RPRT TI - On the Equality $\sum_{j} e_jf_j=[L:K]$ \vspace{2mm} On the Equality $\sum_{j} e_jf_j=[L:K]$ for a Finite Separable Extension $L$ of $K$ AU - Norio Adachi PY - 2024 UR - https://arxiv.org/abs/2412.19224 ID - 2412.19224 ER -