>>663
ですが、右辺はnに依存してませんか?
λ:V→Vの気がしてしまいます