Totally ramified extension