Es equivalente a lo siguiente: