Definition G8_Div8 : channelDescriptionBitsDivisible8 G8 := eq_refl.
