>>625
(2)と(3)の同値性が疑問だ、という意味ですか?