>>232
(2)は十分条件じゃないかな