n次元実行列Aとその対称行列T(A)が
{A-T(A)}^2=O (零行列)
を満たすならば、A-T(A)=Oであることを示せ。

宜しくお願いします。