>>36
逆の証明が>>26のリンク先にあるやん。