Para todo a, b en R se cumple que