  It was shown by the author [International Journal of Theoretical Physics 36
(1997), 1099-1131] in synthetic differential geometry that what is called the
general Jacobi identity obtaining in microcubes underlies the Jacobi identity
of vector fields. It is well known in the theory of Lie algebras that a
plethora of higher-dimensional generalizations of the Jacobi identity hold,
though it is usually established not as a direct derivation from the axioms of
Lie algebras but by making an appeal to the so-called Poincar\'e-Birkhoff-Witt
theorem. The general Jacobi identity was rediscovered by Kirill Mackenzie in
the second decade of this century [Geometric Methods in Physics, 357-366,
Birkh\"auser/Springer 2013]. The principal objective in this paper is to
investigate a four-dimensional generalization of the general Jacobi identity in
detail. In a subsequent paper we will propose a uniform method for establishing
a bevy of higher-dimensional generalizations of the Jacobi identity under a
single umbrella.
