モストウの剛性定理
定理は、幾何学的定式化と、代数的定式化がある。