Помогите разобраться как получается следующее отождествление. Никак не могу ухватить мысль.
Пусть

- невырожденная проективная кривая. Назовем ее линейно нормальной, если система ее гиперплоских сечений

полна. Утверждается, что в этом случае подпространство линейных многочленов в
![$k[x_0,\ldots,x_n]$ $k[x_0,\ldots,x_n]$](https://dxdy-01.korotkov.co.uk/f/c/3/1/c314e516a1ef31db80dfc2b9d6749b2882.png)
отождествляется с пространством

где

- дивизор гиперплоского сечения

Если я правильно понимаю, то если бы система

была не полна, то пространство линейных многочленов отождествлялось бы с некоторым подпространством из
