A proof of the irreversibility of renormalization group flows in four dimensions