It was proved by David Mumford (1971) as a consequence of a theorem about the compactness of sets of discrete subgroups of semisimple Lie groups generalizing Mahler's compactness theorem.
Den bevisades av David Mumford (1971) som en konsekvens av en sats om kompaktheten av diskreta delgrupper av halvenkla Liegrupper som generaliserar Mahlers kompakthetssats.