Category:Invertible Element of Associative Structure is Cancellable