在Zm中规定如果a与c等价类相等，b与d等价类相等，则可以推出（）。