Power series
の原証明は冪級数の操作のみを用いている。まず