Definition R8_Div8 : channelDescriptionBitsDivisible8 R8 := eq_refl.
