広中の特異点解消定理の証明を追った人はほとんどいない、皆結果だけ暗記して使ってる