The Noether-Lefschetz theorem (proved by Lefschetz) says that the Picard group of a very general surface of degree at least 4 in P3 is generated by the restriction of the line bundle O(1).
Теорема Нётера — Лефшеца (доказанная Лефшецом) говорит, что группа Пикара очень общей поверхности степени по крайней мере 4 в P3 порождена ограничением линейного расслоения O(1).