Remark 1. We quickly recall a couple of definitions Let DivQ(X) := Div(X)⊗Q. On smooth projective surfaces all Q-Weil divisors are also Q-Cartier, hence we can write Q-Cartier every divisor D as a finite sum ∑ xiCi, where the Ci are distinct integral curves and xi ∈ Q. A divisor D is called effective (or sometimes positive) if xi ≥ 0 ∀i. If D · C ≥ 0 for all integral curves C then D we be calle...