Fornaessの例の正則分離性が判明したことは
最近の著しい成果