Definition G64_Div8 : channelDescriptionBitsDivisible8 G64 := eq_refl.
