Irredundance in Eigenvalue Problems

We show the irredundancy, necessity and sufficiency of inequalities corresponding to intersections whose ``Witten Bundle’’ is polyrigid for the product of unitary matrices problem.