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