User talk:Dfeuer/Compact Subspace of Linearly Ordered Space (draft converse idea)