凄いよ。
でも消滅定理以外にも
Shokurovの非消滅定理というのもある。
また消滅定理には色んな人の名前が付いてるが、
川又先生のやつは特異点を持つバージョンの
初期の結果だろうね。