Se demuestra que ambas definiciones son equivalentes, y que son invariantes bajo isometrías.