<?xml version="1.0"?>
<div><span class="kw">theorem </span><span class="lab"><font color="Green" title="E24">Th27</font></span>: <a NAME="T27"><span class="comment"><font color="firebrick">:: CARD_LAR:27</font></span><br/></a><div class="add"> for <font color="Olive" title="b1">M</font> being   non  <a href="card_3.html#V4" title="CARD_3:attr.4">countable</a>  <a href="card_5.html#NM1" title="CARD_5:NM.1">Aleph</a>  st <font color="Olive" title="b1">M</font> is  <a href="card_lar.html#V4" title="CARD_LAR:attr.4">Mahlo</a>  holds <br/><font color="Olive" title="b1">M</font> is  <a href="card_5.html#V1" title="CARD_5:attr.1">regular</a> </div></div>
