Sea "t" un término cerrado y A("x/t") el resultado de reemplazar toda aparición de "x" en A por "t".