differentiation rules for vector-valued functions with proofs