>>891
どちらも有向点族の収束だから同じ。