類体論の第2不等式の証明は、どの手法で行うの?