アルゴリズムがぱっと見自明でない感じになってきたので証明（自然言語）でも書いておくべきなのだろうけど、面倒くせえ〜。"Can be trivially shown by induction."とかで良いですか？（trivialではない）