  Variable-to-variable length (VV) codes are a class of lossless source coding.
As their name implies, VV codes encode a variable-length sequence of source
symbols into a variable-length codeword. This paper will give a complete proof
of an important theorem for variable-to-variable length codes.
