semidistributive law