哈达玛矩阵的存在性原理