312等式的性质