Property of divergence