This is a mathematical statement, see the end of the Wikipedia section "Algorithmic solution", where it states "Among all possible different stable matchings, it always yields the one that is best for all men among all stable matchings, and worst for all women."
