初一上等式的性质