>>285
>Oは高々可算個の 互 い に 素 な 開区間の和集合になることを