ужасно приятно все же. Этальные пучки! схемные точки многообразий! топология Нисневича, гензелевы локальные схемы! нормализация, основная теорема Зарисского! разрешение особенностей! нодальная кривая, нормальная поверхность! Красота. С базисами Гребнера какими-нибудь не сравнить...