乘法分配律的形式名称是什么