[0JD]Prerequisiti:[0HR]↺↻.Si mostri che la retta compattificata (lo spazio topologico mostrato in [0HR]↺↻) è compatta.
