Petunjuk S.31.1.

Jika ada lintasan dari bilangan negatif ke bilangan lebih dari \(1\text{,}\) citranya dalam topologi biasa memuat \([0,1]\text{.}\) Citra lintasan kompak; gunakan bahwa \([0,1]\) tertutup tetapi tidak kompak dalam topologi K.
in-context