Inv_Ident_Comm_Assoc_Distr_Properties