層ではなく不定域イデアルを使わなければ
証明しにくいような定理があるのかどうか