How to prove that if $A$ and $B$ are $n\times n$ matrices then $\operatorname{rank}(A) + \operatorname{rank}(B) \le \operatorname{rank}(AB) + n$
Sylvester rank inequality: $\operatorname{rank} A + \operatorname{rank}B \leq \operatorname{rank} AB + n$