>>237
自己レスです。補題は階乗「!」が抜けているという解釈で良いでしょうか。とりあえずその方向で証明を考えてみます。