それとその横線は他のk<lのための横線とは異なることの証明も必要