In his long 1957 paper, “The Theory of the Universal Wave Function”, Hugh Everett III made some significant preliminary steps towards the application and generalization of Shannon’s information theory to quantum mechanics. In the course of doing so, he conjectured that, for a given wavefunction on a compound space, the Schmidt decomposition maximises the correlation between subsystem bases. This is proved here.