<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T77"><span class="comment"><font color="firebrick">:: TOPREAL6:77</font></span><br/></a><div class="add"><span class="p1"><a href="borsuk_1.html#K2" title="BORSUK_1:func.2">[:</a><span class="default"><a href="topmetr.html#K3" title="TOPMETR:func.3">R^1</a>,<a href="topmetr.html#K3" title="TOPMETR:func.3">R^1</a></span><a href="borsuk_1.html#K2" title="BORSUK_1:func.2">:]</a></span>, <a href="euclid.html#K15" title="EUCLID:func.15">TOP-REAL</a> 2 <a href="t_0topsp.html#R1" title="T_0TOPSP:pred.1">are_homeomorphic</a> </div></div>
