Minimum Description Length of a Spectrum Variational Autoencoder: A Theory