Definition G16_Div8 : channelDescriptionBitsDivisible8 G16 := eq_refl.
