 the distance from $\mathbf{A}$ to the furthest $k$-dimensional subspace contained in $\mathbf{B}$ *equals* the distance from $\mathbf{B}$ to the furthest $l$-dimensional subspace that contains $\mathbf{A}$. Their common value gives 