sqrcomplex is_distributive_wrt multcomplex