The distributive law of algebra