  This short note contains an explicit proof of the Jacobi identity for
variational Schouten bracket in $Z_2$-graded commutative setup. For the
reasoning to be rigorous, it refers to the product bundle geometry of iterated
variations (see arXiv:1312.1262 [math-ph]); no ad hoc regularizations occur
anywhere in this theory.
