Pero dos cosas iguales a una tercera son iguales entre sí (noción común 1), por tanto "AC" es igual a "CB".