زاریسکی لم زاریسکی، قضیه صفر هیلبرت، توپولوژی های زاریسکی ، نرمالسازی، آرتین-تیت، آرتین-ریس، اکین-ناگاتا