离散数学:设是一个代数系统,且对于任意的a∈A,有 a☆b=a 试证明:二元运算*对于☆是可分配的。