Definition R5_G6_B5_NonEmpty := nil_cons (x := R5) (l := [G6; B5]).
