距離化定理きょりかていり<きょ'り'か>・てい'り4

Math.MetrisationssatzMetrisierbarkeitssatz