gale-ryser theorem