[0JB]Prerequisiti:[0HP]↺↻.Si mostri che la retta estesa (lo spazio topologico mostrato in [0HP]↺↻) è compatta.
[0JC]↺↻