It is shown that convergent solutions of a smooth recurrence equation whose gradient satisfies a certain "nonunimodularity" condition can be approximated by an asymptotic expansion. The lemma used to ...