证明diag[]与diag[]相似