证明若 A 对角且 B 对角，则 AB 对角，且对角元素相乘。