判断题 设*是中可结合的二元运算，若且是可逆的，则元素一定是可约的。( )