алгебраическое многообразие имеет гладкую точку
Кстати, прочел последнюю лекцию к курсу по алгебраической геометрии. Вершиной полугодичного преподавания оказалась невероятно сложная теорема, утверждающая, что любое алгебраическое многообразие над \C имеет гладкую точку. Даже и не знаю, как к этому относиться.