Primera observación es que el $A^tA$ es no singular. Si $A^tAx=0$, para algunas de las $x=(x_1,\ldots,x_n)\in\mathbb R^n$,$x\ne 0$, luego
$$
0=\langle Un^de impuestos,x\rangle=\langle Ax,Ax\rangle,
$$
lo que implica que $Ax=0$. En $A=(a_1,\ldots,a_n)$, $a_j$'s de las columnas de a$A$,$Ax=x_1a_1+\cdots+x_na_n=0$, significa que el $n$ columnas de $A$ son linealmente dependientes, y por lo tanto su rango es menor que $n$.
Vamos $$b_1,\ldots,b_p,$$ be the columns of $B$, i.e., $B=(b_1,\ldots,b_p)$, and assume that rank$(B)=k$, and $b_{i_1},\ldots,b_{i_k}$ son linealmente independientes. Vamos a demostrar que
$Ab_{i_1},\ldots,Ab_{i_k}$ también son linealmente independientes. Si no, entonces
$$
c_1Ab_{i_1}+\cdots+c_kAb_{i_k}=0\quad\Longrightarrow\quad c_1A^tAb_{i_1}+\cdots+c_kA^tAb_{i_k}
=0,
$$
y por lo tanto $A^tA(c_1b_{i_1}+\cdots+c_kb_{i_k})=0$, y como $A^tA$ es no singular, entonces
$c_1b_{i_1}+\cdots+c_kb_{i_k}=0$, lo cual es una contradicción. Así
$$
\mathrm{rango}\,(AB)\ge\mathrm{rango}\,(B).
$$
Lo contrario es tan fácil, puesto que si el rango de$(AB)=k$, e $Ab_{i_1},\ldots,Ab_{i_k}$ son linealmente independientes, entonces $b_{i_1},\ldots,b_{i_k}$ también son linealmente independientes, por si no lo fueran, $c_1b_{i_1}+\cdots+c_kb_{i_k}=0$, para algunas de las $c_j$'s no todos cero. Pero, a continuación,
$$
0+A(c_1b_{i_1}+\cdots+c_kb_{i_k})=c_1Ab_{i_1}+\cdots+c_kAb_{i_k},
$$
lo cual es una contradicción.