Machiavelli and the Gale-Shapley Algorithm

Gale and Shapley have an algorithm for assigning students to universities which gives each student the best university available in a stable system of assignments. The object here is to prove that ...