That's how you use your law's properties:

associativity

inverse formula

associativity

inverse formula

associativity

associativity and inverse

associativity and inverse

inverse formula

associativity

associativity and inverse

where "inverse formula" is