Given the model:
$\log(y) = \beta_0 + \beta_1 x_1 + \beta_2 x_2 + \beta_3 x_1 x_2$
Which can be for example a Poisson or a Negative Binomial model ($y$ would be a count variable) or a logistic regression ($y$ would be odds), what is the interpretation of $\beta_3$?
I came up with the following, and I ask you (1) if it is correct (2) if there are other or simpler interpretations.
Theorem
For a given $x_1=\bar{x}_1$, when $x_2$ changes from $\bar{x}_2$ to $\bar{x}_2+1$, $y$ is multiplied by $e^{\beta_2} (e^{\beta_3})^{\bar{x}_1}$
Proof
Be $y_1 = y_1(x_1=\bar{x}_1, x_2=\bar{x}_2)$ and $y_2 = y_2(x_1=\bar{x}_1, x_2=\bar{x}_2+1)$
$\log(y_1) = \beta_0 + \beta_1 \bar{x}_1 + \beta_2 \bar{x}_2 + \beta_3 \bar{x}_1 \bar{x}_2$
\begin{align} \log(y_2) &= \beta_0 + \beta_1 \bar{x}_1 + \beta_2 (\bar{x}_2+1) + \beta_3 \bar{x}_1 (\bar{x}_2+1) &\\ &= \beta_0 + \beta_1 \bar{x}_1 + \beta_2 \bar{x}_2 + \beta_2 + \beta_3 \bar{x}_1 \bar{x}_2 + \beta_3 \bar{x}_1 & \end{align}
$ \log(y_2) - \log(y_1) = \log\left(\dfrac{y_2}{y_1}\right) = \beta_2 + \beta_3 \bar{x}_1$
$\dfrac{y_2}{y_1} = \exp(\beta_2+\beta_3 \bar{x}_1) = e^{\beta_2} (e^{\beta_3})^{\bar{x}_1}$
$y_2 = e^{\beta_2} (e^{\beta_3})^{\bar{x}_1} y_1$