e <code>substitute</code>.
</p>
<p>La llamada <code>subst (<var>eq_1</var>, <var>expr</var>)</code> o 
<code>subst ([<var>eq_1</var>, ..., <var>eq_k</var>], <var>expr</var>)</code>
están permitidas. Las <var>eq_i</var> son ecuaciones que indican las sustituciones a realizar.
Para cada ecuación, el miembro izquierdo será sustituido por la expresión del 
miembro derecho en <var>expr</var>. Las ecuaciones se sustituyen secuencialmente de
izquierda a derecha en <var>expr</var>. Véanse las funciones <code>s