. Since K is a discrete subgroup of

. Since K is a discrete subgroup of K, the projection K is a covering map. Since K as manifolds, it follows that K. Moreover, X is compact since it is the image under the projection of the cube in K consisting of those elements whose entries lie in the closed interval K.

Kết quả (Việt) 1:

. Kể từ khi K là một nhóm con rời rạc của K, chiếu K là một bản đồ bao gồm. Kể từ khi K là đa tạp, nó sau đó K. Hơn nữa, X là nhỏ gọn vì nó là hình ảnh theo chiếu của khối lập phương trong K bao gồm những yếu tố mà mục nằm trong khoảng thời gian đóng K.

Kết quả (Việt) 2:

. Vì K là nhóm con rời rạc của K, chiếu K là một bản đồ bao phủ. Vì K là đa tạp, nó sau đó K. Hơn nữa, X là compact vì nó là hình ảnh dưới chiếu của khối lập phương trong K bao gồm những yếu tố có mục nằm trong khoảng thời gian đóng K.