Mathematics for Applied Sciences (Osnabrück 2023-2024)/Real power series/Derivative by formal derivative/Fact/Factreferencenumber