Proving linear inequalities and identities of Shannon’s information measures, possibly with constraints on the is an important problem in theory. For this purpose, ITIP other variant algorithms have been developed implemented, which are all based solving a program (LP). In particular, identity f</i...