Given a matrix $A$ with dimensions $m \times n$, is $B=AA^T$ invertible if and only if the rows of $A$ are linearly independent?
So far, I've tried writing A as row vectors,
$$A = \begin{bmatrix}v_1\\ v_2\\ \vdots \\ v_m\end{bmatrix}$$
where $B_{i,j} = (v_i v_j) $
The Wikipedia page on the Gram Determinant suggests that the condition I stated above is necessary and sufficient, but does not provide a proof.