let v_sup v1 v2 = v_larger_than_zero (v1 -~ v2)