Definition B16_Div8 : channelDescriptionBitsDivisible8 B16 := eq_refl.
