>>175
そうです．
よかったです．私もdzでいいのかなと思ってました．
なのに，>>171-172氏のようなちょっと（私には）難しい証明になるのは別にあまり意味がないのですか？