Definition B64_Div8 : channelDescriptionBitsDivisible8 B64 := eq_refl.
