(x+(x+1)+9)/2-x = (2x+10)/2-x = x+5-x = 5