In this section, we present the proof of Theorem REF . Before establishing this, we present some results from linear algebra as an intermediate step. We start by defining primitive matrices and their connection to irreducibility and aperiodicity. Consequently, we state the famous Perron-Frobenius theorem, which was first stated in this form by [1]}. The following definition and two theorems are taken from [2]}.
