上野健爾　代数幾何
定理5.39 は永田・宮西・丸山の丸写し、
しかも写し方が不徹底なため、理解不能。