Comment by yurish

This assumption is built-in for Gale-Shapley algorithm.