- a • [- b] = c
[a] • [- b] = - c or [-a] • [b] = - c (either one is fine)
[- c] / - b = a
[- c] / [b] = - a