\( \newcommand{\ll}{\mathcal L} \newcommand{\ff}{\mathcal F} \definecolor{cornellred}{RGB}{179,27,27} \newcommand{\cred}[1]{\textcolor{cornellred}{#1}} \newcommand{\tcred}[1]{\textcolor{cornellred}{\textrm{#1}}} \newcommand{\lra}{\leftrightarrow} \newcommand{\succceq}{\succcurlyeq} \)
Suppose we are given partial orders $\succ_l$ on workers and $\succ_f$ on firms. For instance, $l'\succ_ll''$ might mean that worker $l'$ is more skilled than is worker $l''$, and $f'\succ_ff''$ might mean that a given worker is more productive in firm $f'$ than in firm $f''$.
Theorem. Suppose that for all $l',l'',f'$, and $f''$, $l'\succ_l l''$ and $f'\succ_ff''$ implies that $v_{l'f'}-v_{l''f'}>v_{l'f''}-v_{l''f''}$. Then it cannot be the case that $l'\lra f''$ and $l''\lra f'$.
Proof. If $v_{l'f'}-v_{l''f'}>v_{l'f''}-v_{l''f''}$, then $v_{l'f'}+v_{l''f''}>v_{l'f''}+v_{l''f'}$. So matching $l'$ to $f'$ and $l''$ to $f''$ would increase surplus. ∎