Definition R32_Div8 : channelDescriptionBitsDivisible8 R32 := eq_refl.
