他方、が双射双有理かつの終域が正規代数多様体ならばは双正則である(参照)。