((∑_(i=0)^I)(Subscript[p, i]^((k)))=1   ∀k={1,2,…   ,K}(16b)(∑_(k=1)^K)(U^((k)))(∑_(i=0)^I)(Subscript[ip, i]^((k)))=T(16c))