  We obtain extensions of the Poincar\'e and Perron theorems for higher order
recurrence relations and apply them to obtain an inverse type theorem for row
sequences of (type II) Hermite-Pad\'e approximation of a vector of formal power
series.
