(5) (ab)c = a(bc)