>>654
それ自身は正しい
ただ >>637 氏のコメントにあるように
(3)から逆に(2)を出すとき、それは使えない