Finally, let us explain how one can weaken REF  to REF  following [1]}. In this case, one minor difference is that although the \(H\) -quotient is projective, the \(\widehat{U}\) -quotient is only quasi-projective.
