Considere as matrizes

Denotando por At a matriz transposta de A, a matriz (At A) – (B + Bt) é