Redundancy and Linear Programs