Differentiable functions of quaternion variables. (Q1416508)

This is an interesting paper with many interesting theorems. There is only one problem: The definition of differentiability in 2.1 has been shown by Krylov and Mejlihkzhon to be valid only for linear functions. A more modern proof is to be found in \textit{A. Sudbery} [Math. Proc. Camb. Philos. Soc. 85, 199-225 (1979; Zbl 0399.30038)]. A discussion with the authors did not convince the referee.