Every contraction can be extended to a partial isometry.

• 每一压缩算子能被扩张成一个部分等距算子。