Esto significa que, dadas varias matrices conmutativas "A", …, "A", existe una matriz unitaria "Q" tal que las matrices "Q""A""Q", …, "Q""A""Q" son todas triangular superiores.