质量变小的质量守恒定律验证