如果x+7=y+( ),依据是等式的性质( )