Sageh^

< sageh^> Osoita, että metrisen avaruuden osajoukko on kompakti, jos se
          on prekompakti ja täydellinen. Natas natas. Jotain tommosta
          Kurt Cobainkin varmaan pohdiskeli, ennen kuin päätti että
          osoittaakin ennemmin haulikolla kitalakeen ja vetää
          liipaisimesta.