特異点解消の論文は
Krein-Milmanではなく
Bierstone-Milman