<?xml version="1.0"?>
<div><span class="kw">theorem </span><span class="lab"><font color="Green" title="E27">Th16</font></span>: <a NAME="T16"><span class="comment"><font color="firebrick">:: MEASURE7:16</font></span><br/></a><div class="add"> <a href="measure7.html#K10" title="MEASURE7:func.10">OS_Meas</a>  is    <a href="measure4.html#M1" title="MEASURE4:mode.1">C_Measure</a> of  <a href="numbers.html#K1" title="NUMBERS:func.1">REAL</a> </div></div>
