keywords matrix equation; consistency; transpose; congruence; canonical form for congruence; skew-symmetric matrix; bilinear form