4[证明题]
设A为n阶对称矩阵，B为n阶反对称矩阵.证明：AB-BA为对称矩阵。