(V_λ+1)^0#=j:V_λ+1→V_λ+1
(V_λ+1)^#=j:L(V_λ+1)→L(V_λ+1)
(V_λ+1)^##=j:L((V_λ+1)^#,V_λ+1)→L((V_λ+1)^#,V_λ+1)
(V_λ+1)^###=j:L((V_λ+1)^##,V_λ+1)→L((V_λ+1)^##,V_λ+1)
(V_λ+1)^####=j:L((V_λ+1)^###,V_λ+1)→L((V_λ+1)^###,V_λ+1)
(V_λ+1)^#####=j:L((V_λ+1)^####,V_λ+1)→L((V_λ+1)^####,V_λ+1)
(V_λ+1)^######=j:L((V_λ+1)^#####,V_λ+1)→L((V_λ+1)^#####,V_λ+1)
…
