Rubrik pembuktian: tunjukkan bahwa \(\{A\cap G\}\cup\{A\cap O_k\mid k\in\Z^+\}\) merupakan selimut buka bagi \(A\text{,}\) lalu gunakan suatu \(1/m\in K\) untuk menggagalkan setiap subselimut berhingga.