[0MKU] Proof. Condition (R.4) is clear, and the functor i:Θn→Υni:\Theta_{n}\to\Upsilon_{n} is a fully-faithful inclusion, hence (R.3) is automatically satisfied. Conditions (R.1) and (R.2) follow from Th. 13.13 and Lemma 13.14. ∎