Partial Derivatives from Differentiability