>>450
[k,m,n] | [k,[m,n]]
かつ
[k,[m,n]] | [k,m,n]

を示せばいいのかしら?