The reader is encouraged to fill in the missing details.
Sets of the form (6) are disjoint and fill out any such orbit.