16x-0.5x=15.5x,运用了什么性质