distributive law of addition