λの一般化はタイヒミュラー理論によって実現できる