finished proof of consistent selection