Let be a sequence of nonnegative primitive matrices. Suppose that , with also a nonnegative primitive matrix. Define the sequence , with . If , then