<?xml version="1.0"?>
<div><span class="kw">theorem </span><span class="lab"><font color="Green" title="E12">Th9</font></span>: <a NAME="T12"><span class="comment"><font color="firebrick">:: NIVEN:12</font></span><br/></a><div class="add"> <a href="sin_cos.html#K17" title="SIN_COS:func.17">sin</a> <span class="p1">(<span class="default"><span class="p2">(<span class="default">11 <a href="xcmplx_0.html#K3" title="XCMPLX_0:func.3">*</a> <a href="sin_cos.html#K28" title="SIN_COS:func.28">PI</a></span>)</span> <a href="xcmplx_0.html#K7" title="XCMPLX_0:func.7">/</a> 6</span>)</span> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a>  <a href="xcmplx_0.html#K4" title="XCMPLX_0:func.4">-</a> <span class="p1">(<span class="default">1 <a href="xcmplx_0.html#K7" title="XCMPLX_0:func.7">/</a> 2</span>)</span></div></div>
