<div class="thm"> Toute partie majore non vide de \RR admet une borne suprieure. 
</div>


