Normally, a question like this is an exercise in demonstrating how useful operations (e.g. cancellation) can be derived from definitions or through the application of more basic properties.
If cancellation is on the list of basic properties you're using for this purpose, then citing that is all you need to do -- but I suspect the problem is not meant to be so trivial.