**Theorem.** If $\mathbb{P}$ is $\kappa$-[[Chain conditions|c.c.]] and $\mathbb{Q}$ is lt;\kappa$-[[Closed forcing|closed]] then $\mathbb{P}\Vdashquot;$\mathbb{Q}$ is lt;\kappa$-[[Distributivity|distributive]]". ^f3e45a