普通の収束ベキ級数による定義ならそうなる