不等式的哪个基本性质说明同向相乘,哪个说明同向相加?