From lecture 21 we introduced the notion of divergence of a vector