Definition R16_Div8 : channelDescriptionBitsDivisible8 R16 := eq_refl.
