>>221
不思議なことをいう人だ。（n=1 とか)　n=3 の成立を確認、というのは一幕のこと。
（初期値の設定）　n=k を仮定してn=k+1での成立を確認、というのは、
動的にな procedure（手続き）。質がちがう。