<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T41"><span class="comment"><font color="firebrick">:: IRRAT_1:41</font></span><br/></a><div class="add"> <a href="power.html#K4" title="POWER:func.4">number_e</a>  is  <a href="irrat_1.html#NV1" title="IRRAT_1:NV.1">irrational</a> </div></div>
