Global Attractivity of the Equilibrium of a Difference Equation: An Elementary Proof Assisted by Computer Algebra System - Orlando Merino (2008)