Sorry, misread as sum of medians for some reason. Nice proof.