finished proof of the cancellations