It all follows from compactness so if the cognitive manifold is not compact then the conclusion is not true.