冪級数展開を用いる証明.