哈达玛矩阵的存在性