We give a short constructive proof for the existence of a Hamilton cycle in the subgraph of the \((2n+1)\)-dimensional hypercube induced by all vertices with exactly n or \(n+1\) many 1s.

中文翻译：

---

中层定理的一本书证明

我们给出了一个简短的建设性证明，证明在由恰好有n或\(n+1\)个多个 1的所有顶点导出的 \((2n+1)\)维超立方体的子图中存在汉密尔顿循环。