correct "compact" to "sequentially compact" in lemma 4.25