>>正則領域の存在

???