нет, не очевидно, наверное.

то есть, в случае произвольного поля k(не а.з.)
важно, уметь показывать, что максимальный идеал соответствует точке, координаты которой и являются присоединяемыми элементами, алгебраическими над данным полем k. Это как раз делается в нульштеллензатц.