>>683
ありがとうございます。
今から早速証明してみます。
帰納法で大丈夫ですか？