>>617
(b)-(2)は(2)で宣言と定義を同時に行ってるんだから、問題ない。