Существование гладкого дивизора на четырехмерных многообразиях Фано индекса 2

Пусть $X$ – гладкое четырехмерное многообразие Фано индекса 2 и $H$ – фундаментальный дивизор на $X$, т.е. $H$ – обильный дивизор на $X$ такой, что $K_X=2H$. Доказывается, что в линейной системе $|H|$ существует гладкий неприводимый элемент.
Библиографии: 23 названия.