Daremos, sin embargo, una demostración formal de ese resultado, para ilustrar como trabajamos con las definiciones.