推导小数乘法的计算法则时用到了什么?