Поверхность дель Пеццо с лог-терминальными особенностями (продолжение)

Используя методы из работы Q. Zhang «Logarithmic del Pezzo surfaces of rank one with contractible boundaries» доказывается, что не существует поверхностей дель Пеццо с пятью лог-терминальными особыми точками. Случай большего количества особых точек доказан в книге Ю. Г. Прохорова «Lectures on Complements on Log Surfaces».
Пусть $D$ — дивизор, являющийся объединением исключительных кривых на разрешении особенностей поверхности дель Пеццо с лог-терминальными особенностями, $C$ — минимальная кривая (т.е. кривая, индекс пересечения которой с обратным образом антиканонического дивизора минимален), а $K$ — антиканонический дивизор разрешения. На предыдущем докладе был рассмотрен случай, когда линейная система $|C+D+K|$ непуста. Сейчас будет разобран случай, когда она пустая.