Escribiendo teorema de substitución.