If the reader does not recall this theorem, he is advised to recapitulate the part of linear algebra that deals with the simultaneous diagonalization of two symmetric matrices.