A proof of asymptotic normality for some VARX models