statement of ghost divergence theorem