In [12] Petrunin proves that a compact metric space X admits an intrinsic isometry into En if and only if X is a pro-Euclidean space of rank at most n, meaning that X can be written as a “nice” inverse limit of polyhedra. He also shows that either case implies that X has covering dimension at most n. The purpose of this paper is to extend these results to include both embeddings and spaces which are proper instead of compact. The main result of this paper is that any pro-Euclidean space of rank...