[0KFA] Proof. Follows from 3.10, 3.9 (the universal property of ฮธd\theta_{d}) and 3.11 analogously to the proof for dd-categories. โ