Perron-Frobenius Theorem for Irreducible Nonnegative Matrices