Las propiedades conmutativas y asociativas son usadas en el procedimiento de arriba.