And the corresponding isometric extension theorem is an immediate consequence.

• 作为简单推论证明了相关的等距延拓定理。