differentiability implies continuity