Detection and Removal of Redundant Linear Constraints -- Decision Procedures and Theorem