<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow> <mml:mi>C</mml:mi>
<mml:mi>p</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>t</mml:mi>
<mml:mo>&#8722;</mml:mo>
<mml:mi>o</mml:mi>
<mml:mi>f</mml:mi>
<mml:mi/>
<mml:msub> <mml:mi>C</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:msub> <mml:mo>=</mml:mo>
<mml:mrow> <mml:mi>d</mml:mi>
<mml:mi>e</mml:mi>
<mml:mi>f</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mtext>for&#160;all&#160;</mml:mtext>
<mml:mi>c</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>t</mml:mi>
<mml:mtext>,&#160;if&#160;</mml:mtext>
<mml:mi>C</mml:mi>
<mml:mi>c</mml:mi>
<mml:mi>t</mml:mi>
<mml:mtext>&#160;then&#160;there&#160;is&#160;some&#160;</mml:mtext>
<mml:msub> <mml:mi>c</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:mtext>&#160;such&#160;that&#160;</mml:mtext>
<mml:msub> <mml:mi>C</mml:mi>
<mml:mtext>1</mml:mtext>
</mml:msub>
<mml:msub> <mml:mi>c</mml:mi>
<mml:mtext>1</mml:mtext>
</mml:msub>
<mml:mi>t</mml:mi>
<mml:mtext>&#160;and&#160;</mml:mtext>
<mml:mi>c</mml:mi>
<mml:mtext>&#160;</mml:mtext>
<mml:mi>p</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>t</mml:mi>
<mml:mtext>-</mml:mtext>
<mml:mi>o</mml:mi>
<mml:mi>f</mml:mi>
<mml:mi/>
<mml:msub> <mml:mi>c</mml:mi>
<mml:mtext>1</mml:mtext>
</mml:msub>
<mml:mtext>&#160;</mml:mtext>
<mml:mi>a</mml:mi>
<mml:mi>t</mml:mi>
<mml:mi/>
<mml:mi>t</mml:mi>
<mml:mtext>.</mml:mtext>
</mml:mrow>
</mml:math>