has

members. If we now form all the classes of this sort that result from varying

, we obtain altogether

classes, since

may be any member of