关于米尔诺八面体论证首次文献出处的技术问询

先给大家铺垫下相关背景：
若$V$是向量空间，$V$中的曲率类张量是一个四线性映射$F:V \times V \times V \times V \to \Bbb R$，它满足以下三条性质：

• 性质1：对任意$x,y,z,w \in V$，有$F(x,y,z,w) = -F(y,x,z,w) = -F(x,y,w,z)$；
• 性质2：$F(x,y,z,w) = F(z,w,x,y)$；
• 性质3（比安基恒等式）：$F(x,y,z,w) + F(y,z,x,w) + F(z,x,y,w) = 0$。

现在有个结论：在性质1成立的前提下，利用比安基恒等式（性质3）就能推导出性质2，这个推导过程被叫做米尔诺八面体论证。

我现在想请教的是：这个论证首次出现在哪篇文献里呢？

内容的提问来源于stack exchange，提问作者Ivo Terek