sentences:  The trickiest part of the proof is introducing the right topology.The right topology, as it turns out, is the cofinite topology with a small twist.It turns out that every set given this topology automatically becomes a compact space.