Freudenthal diagonalization theorem