Lemma binaryExpOctetsOctets : forall x, List.length (binaryExpOctets (Octets x)) = List.length x.
