<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T2"><span class="comment"><font color="firebrick">:: MIDSP_1:2</font></span><br/></a><div class="add"> the <a href="midsp_1.html#U1" title="MIDSP_1:sel.1">MIDPOINT</a> of <a href="midsp_1.html#K2" title="MIDSP_1:func.2">Example</a> <a href="funct_2.html#R1" title="FUNCT_2:pred.1">=</a>  <a href="funct_5.html#K9" title="FUNCT_5:func.9">op2</a>  ;<br/></div></div>
