Si $V$ es un espacio vectorial, entonces un curvaturelike tensor en $V$ es un quadrilinear mapa de $F:V \times V \times V \times V \to \Bbb R$ satisfactorio
1) $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$,
para todos los $x,y,z,w \in V$. Resulta que la identidad de Bianchi (punto 3), en realidad, supone el punto 2, suponiendo que 1. Esta implicación se llama "Milnor el octaedro del argumento".
Me gustaría saber donde esta apareció por primera vez. Gracias!