Трехмерные многообразия $\mathbb Q$-Фано индекса $7$

Доказывается, что для трехмерного многообразия $\mathbb Q$-Фано $X$ индекса Фано $7$ из неравенства $\dim|-K_X|\ge15$ следует, что многообразие $X$ изоморфно одному из следующих многообразий: $\mathbb P(1^2,2,3)$, $X_6\subset\mathbb P(1,2^2,3,5)$ или $X_6\subset\mathbb P(1,2,3^2,4)$.