state divergence theorem proof