> for <code>false</code>, <code>facsum</code> é aplicada a
cada coeficiente como um todo mesmo se chamadas recursivas a <code>facsum</code> acontecerem.
</p>
<p>A inclusão do átomo
<code>nextlayerfactor</code> na lista argumento de <code>facsum</code>  tem o efieto de
<code>nextlayerfactor: true</code>, mas para o próximo nível da expressão <i>somente</i>.
Uma vez que <code>nextlayerfactor</code> é sempre associado ou a <code>true</code> ou a  <code>false</code>, <code>nextlayerfactor</code>
deve ser