appendix e=mc2