Before revision:  For SQ(d) and LL(d) these criteria are trivially verified.
After revision:  For SQ(d) and LL(d) policy which assigns an incoming job to a server with the least work left among d randomly selected servers these assumptions are trivially verified.