Esto es equivalente a lo siguiente: