, but if

does contain this one member,

will consist of the other member of

). This new progression of

's consists of mutually exclusive classes. Hence a selection from them will be a progression; i.e. if