An algebraic proof of the commutativity of intersection with divisors