We generalize the ABC theorems to the function field of a variety over an algebraically closed field of arbitrary characteristic which is nonsingular in codimension one. We also obtain an upper bound for the minimal order sequence of Wronskians over such
