, etc., we have

or, more concisely,

where we give to

and

all whole values from 1 to 4, permuting them in all possible ways. Accordingly, in what follows, we shall refer to the