 Completion preserves ramification and residue data

For a prime $\mathfrak{q}$ of a finite separable extension $L/K$ above $\mathfrak{p}$, completion preserves the ramification index and residue-field extension: