>422
(a) -1の間違い
(b) Succの間違い
どっちだ。