\lambda_{i+1},\; \lambda_1+\cdots+\lambda_k=N\}"> とすると， に対し， となる最大の を とする． とする． とおくと， から への全単射がある． から への全単射がある． の元は，次の2つのタイプに限る．