Is there a proof for this, or is it just taken for granted? 

Does one need to prove it for every separate case (multiplication, addition, etc.), or only when you are operating with different elements (numbers, matrixes, etc.)?