单项式相乘的计算法则的依据是什么