20F06 - Group theory and generalizations :: Special aspects of infinite or finite groups :: Cancellation theory; application of van Kampen diagrams