Computation of a Sucient Condition for System Input Redundancy