质能守恒定理是怎么证明的?