em <code>remrule (&quot;+&quot;, &quot;+rule1&quot;)</code> para especificamente remover a primeira regra sobre <code>&quot;+&quot;</code>
ou <code>disprule (&quot;*rule2&quot;)</code> para mostrar a defini&ccedil;&atilde;o da segunda regra multiplicativa.
</p>

<hr size="6">
<a name="SEC265"></a>
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="#SEC264" title="Previous section in reading order"> &lt; </a>]</td>
<td valign="middle" align="left">[<a href="#SEC