Linear subspace/Intersection/Dimension estimate/Fact/Proof

Proof

Due to fact, we have

${}{\begin{aligned}\dim _{K}{\left(U_{1}\cap U_{2}\right)}&=\dim _{K}{\left(U_{1}\right)}+\dim _{K}{\left(U_{2}\right)}-\dim _{K}{\left(U_{1}+U_{2}\right)}\\&=n-k_{1}+n-k_{2}-\dim _{K}{\left(U_{1}+U_{2}\right)}\\&\geq n-k_{1}+n-k_{2}-n\\&=n-k_{1}-k_{2}.\end{aligned}}$

To fact