Real power series/Derivative by formal derivative/Fact