>>547
(長い直線)²に入らないということは
1925年のRadoの論文
(長い直線)⁴に入るということは
Fatou-Bieberbach領域の存在から従う