Two square matrices and over a field are congruent if there exists an invertible matrix over the same field such that