>>789
>
>各a'iに対して
>開近傍Ua'iと分離可能な
Ua'ijね