Polynomfunktionen/K/Total differenzierbar/Fakt/Beweis