Definition R64_Div8 : channelDescriptionBitsDivisible8 R64 := eq_refl.
