so this guy who says hes a computer science major said this. "E=MC^2 but for rigor you must prove and demonstrate M=E/C^2 as well of your proof to be complete.". and because of that he says E=mc^2 is not fully proven. inputs?. is he right or wrong?. thanks.