︳a+a'b︳ ︳a b︳ ︳a'b︳
等式︳c+c'd︳=︳c d︳+︳c'd︳成立()
出自:兰州工业学院 线性代数