{ {- A A -} x {- B B -} = {- C C -} y }