When is a smooth one-form defined on the open set U1 = {(x, y) ∈ R 2 : x > 0} called exact? Give the definition.