<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T84"><span class="comment"><font color="firebrick">:: MUSIC_S1:84</font></span><br/></a><div class="add"> <a href="music_s1.html#K60" title="MUSIC_S1:func.60">syntonic_comma</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 81 <a href="xcmplx_0.html#K7" title="XCMPLX_0:func.7">/</a> 80 ;<br/></div></div>
