exists_embedding_euclidean_of_compact source