$4n^2$-неравенство для особенностей полного пересечения

Знаменитое $4n^2$-неравенство справедливо для общих особенностей полного пересечения: мы докажем, что кратность самопересечения подвижной линейной системы $\Sigma$, имеющей максимальную особенность (т.е. пара $(X,frac{1}{n}\Sigma)$ не канонична, где $X$ — объемлющее многообразие), больше чем $4n^2\mu$, где $\mu$ — кратность особой точки. Это неравенство существенно упрощает доказательство бирациональной жесткости для многих типов особых многообразий Фано.