Let A1,..., Am be n × n hermitian matrices and let Hn be the real space of n × n hermitian matrices. If $\operatorname{span}\{A_1,\ldots, A_m\} = \mathscr{H}_n ...