gabuchan : 「さあ、証明するのだ」 babanban : 「yes master」 証明スタート として が０を含む全ての自然数について成り立つことをnに関する数学的帰納法をつかって証明する。 基底 n = 0 のとき Fib(0) = 0 より成り立つ n = 1 のとき Fib(1) = 1 より成…