Every variety of general type is extremely rigid, in the sense that its birational automorphism group is finite.
Любое многообразие общего типа очень жёстко в том смысле, что его группа бирациональных автоморфизмов конечна.