(math.) distributive law

乘法对加法满足分配律。