Differenzierbarkeit/R/Existenz und Stetigkeit der partiellen Ableitungen impliziert Differenzierbarkeit/Fakt/Name/Inhalt