Exact controllability for semilinear difference equation and application. Leiva A., Hugo Antonio and Uzcátegui, Jahnett S.