正定复矩阵的张量积

给出并证明了有限个正定复矩阵的张量积是正定复矩阵的一个充要条件。