It is the case that \(x\prec \prec y \)  if \(x\lhd y\) , but the converse is not valid. We shall
need the following fundamental result, which is obtained by combining  [1]}
Proposition 4.3 with [1]}Theorem 6.3.
