Decreasing height along continued fractions - Giovanni Panti (2018)