Para todo a, b,c en G se cumple que:"