コンパクト性と完備性

距離空間  $(X, d) $において，コンパクトであることと，全有界かつ完備であることは同値である．

Mathematics is the language with which God has written the universe.