La existencia de tal métrica única canónica permite dar representantes explícitos de clases características.