Definition B8_Div8 : channelDescriptionBitsDivisible8 B8 := eq_refl.
