Create sums_equiv.v