This result is a particular case of R4960: Strong derivative for euclidean real quadratic form. $\square$