Real functions/Differentiability/Rules/Section