<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T42"><span class="comment"><font color="firebrick">:: E_TRANS2:42</font></span><br/></a><div class="add"> <a href="power.html#K4" title="POWER:func.4">number_e</a>  is  <a href="algnum_1.html#NV5" title="ALGNUM_1:NV.5">transcendental</a> </div></div>
