Escribiendo teorema de substitución y su correspondiente prueba. (La primera versión por lo menos)