高斯定理的定义是