https://9dok.org/document/y8g3p334-isometrical-embeddings-of-lattices-into-geometric-lattices.html