 Residue-field degree

The residue-field degree of a finite extension of local fields is $f(L/K)=[k_L:k_K]$, and $[L:K]=e(L/K)f(L/K)$.