Les sections holomorphes de la puissance tensorielle $m$-ième du fibré des $n$-formes différentielles holomorphes sur une variété projective lisse complexe $X$ de dimension $n$ permettent de définir une application rationnelle de $X$ dans un espace projectif. On dit que $X$ est de type général si cette application est génériquement injective pour tout $m\ge m_0 $. Utilisant des idées de Tsuji, Hacon–McKernan et Takayama ont indépendamment montré que l'on peut choisir une constante $m_0$ qui ne dépend que de $n$. Les techniques utilisées ont aussi permis de grandes avancées vers la complétion du Programme du Modèle Minimal de Mori.