质量守恒的验证