问题详情

(N_k，)是代数系统，证明对于是可分配的。