Necessity and sufficiency of f being a divergence for vanishing of variational derivatives of f: General case

Concise proofs are presented for the necessity and sufficiency of f being a divergence for the variational derivatives of f to vanish identically, where f is a function of N functions of n variables, their partial derivatives to arbitrary order, and the n variables. The approach is conventional.