线性代数有没有一个“扩充定理”

wufaxian

“矩阵C各列相互正交，行数大于列数，由扩充定理，可以找到矩阵 D ，使得 [C,D] 构成一个正交矩阵，记该矩阵的第 j行为\(d_j\)，则\(d_jd_j^T=1\) ,又\(c_j^{ }c_j^T\le1\)”----------截取自一段证明。我在网上搜了一下“扩充定理”。有用信息不多。请教老师这个定理的全称叫什么？哪本书中有详细介绍？