Definition A8_Div8 : channelDescriptionBitsDivisible8 A8 := eq_refl.
