This theorem gives the matrix transformation rule for a [quadratic form](/page/Quadratic%20Form) when the ordered basis is changed. It shows that the new representing matrix is obtained by congruence, so quadratic forms are classified by congruence behavior rather than similarity.