Let be the matrix unit having its only nonzero entry, one, in position . Direct multiplication gives . If , every such pairing vanishes, forcing every entry to be zero. Conversely, zero pairs to zero with every matrix. Thus
The matrix trace pairing is therefore a nondegenerate bilinear form, despite its failure to be positive definite when .