Added proof for top-k