<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T57"><span class="comment"><font color="firebrick">:: NUMBER03:57</font></span><br/></a><div class="add">( 1,2,3,4 <a href="zfmisc_1.html#R2" title="ZFMISC_1:pred.2">are_mutually_distinct</a>  &amp; (  for <font color="Olive" title="b1">n</font> being   <a href="xxreal_0.html#V2" title="XXREAL_0:attr.2">positive</a>  <a href="ordinal1.html#NM6" title="ORDINAL1:NM.6">Nat</a>  holds  not 1 <a href="xcmplx_0.html#K2" title="XCMPLX_0:func.2">+</a> <font color="Olive" title="b1">n</font>,2 <a href="xcmplx_0.html#K2" title="XCMPLX_0:func.2">+</a> <font color="Olive" title="b1">n</font>,3 <a href="xcmplx_0.html#K2" title="XCMPLX_0:func.2">+</a> <font color="Olive" title="b1">n</font>,4 <a href="xcmplx_0.html#K2" title="XCMPLX_0:func.2">+</a> <font color="Olive" title="b1">n</font> <a href="number03.html#R2" title="NUMBER03:pred.2">are_mutually_coprime</a>  ) )</div></div>
