type Poly = [[Int]]
Poly system reduction by substitution