Over a complete DVR with finite residue field, if the (finite) integral closure of `O` in `L` is local, its ramification index and inertia degree are positive with `e · f = [L : K]`.

Initializing...

Over a complete DVR with finite residue field, if the (finite) integral closure of `O` in `L` is local, its ramification index and inertia degree are positive with `e · f = [L : K]`. · Prove2Me