A short proof of Kontsevich cluster conjecture

We give an elementary proof of the Kontsevich conjecture that asserts that the iterations of the noncommutative rational map K_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1}) are given by noncommutative Laurent polynomials.