Definition G32_Div8 : channelDescriptionBitsDivisible8 G32 := eq_refl.
