The main step in our proof is to prove that \((|P|_n,|P|_{n-1})\)  is a \(|G|\) -fiberwise NDR pair in \({K}/B\)  for all \(n\ge 1\) , so that we
can apply the method of [1]}, [2]}, [3]}. As a first step in this direction we have the following lemma.
