These two theorems are very different from each other; the first one has a very simple proof and leads to some very counterintuitive conclusions, while the proof of the second one is very technical but the result is not that surprising.
两个定理非常不同；第一个有很简单的证明但有一些很違反直觀的結果，而第二个非常具有技术性但其结论比較不太出乎意料。