より正確には
複素数空間内の滑らかな境界を持つ凸領域Dが
離散群の正則かつ固定点なしの作用により
コンパクトな商空間を持てば
Dは開球体に正則同値である。