Hartogsの正則性定理の証明は簡略化されていないのか？
難しいわりに、殆ど使われてないから改良もされないのか