Let $A \geqslant 0$ in $\mathcal{M}_n(\mathbb{R})$. Let $i, j$ be in $\llbracket 1, n \rrbracket$. Let $m \geqslant 1$. Show the equivalence of the propositions:
\begin{itemize}
\item there exists in $A$ a path with origin $i$, endpoint $j$, of length $m$;
\item the entry with indices $i, j$ of $A^m$ (denoted $a_{i,j}^{(m)}$) is strictly positive.
\end{itemize}
You may proceed by induction on the integer $m \geqslant 1$.