distributive sesquilaw

Tags: normalization, distributive law.