  We prove a conjecture of Kontsevich, which asserts that the iterations of the
noncommutative rational map $F_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1})$ are given by
noncommutative Laurent polynomials with nonnegative integer coefficients.
