let ( - ) a b = a + inv(b)