# Riemann curvature expressions for symmetric affine connection

I am reading the paper "On Local Loops in Affine Manifolds" by Kikkawa (open access), in which the author considers a manifold with affine connection $$(M,\nabla)$$. He then builds up a structure called local loop and follows to prove that if such loop has some property (*), and the connection is symmetric (torsion-free), then the Riemann curvature tensor $$R$$ vanishes at each point (Theorem 2). I have a couple of questions:

(1) How does one get to eq. (7), namely $$R_p(X_p,Y_p)Z_p+R_p(Z_p,Y_p)X_p=0$$

(2) How does eqs. (7) and (8) imply $$R_p(X_p,Y_p)Z_p=0,\;\text{for all}\;X_p,Y_p,Z_p\in T_pM.$$

I have tried using some known identities of the curvature tensor, but with no luck. Any help would be appreciated.

(*) I believe the construction of the local loops and the needed property are irrelevant for this question, since apparently, for Theorem 2 at least, they are only used to obtain relations on the geometry, namely eqs. (1-8). I reckon it is unnecessary to list such equations, since they are available in the linked paper.

Substituting $$X$$ with $$X+Z$$ in $$R(X,Y)X = 0 \tag 6$$ yields \begin{align} 0 &= R(X+Z,Y)(X+Z)\\ &= R(X,Y)X+R(Z,Y)X+R(X,Y)Z+R(Z,Y)Z. \end{align}

Now applying $$(6)$$ again shows the first and last terms vanish, so we are left with the desired $$R(X,Y)Z+R(Z,Y)X = 0. \tag 7$$

(This argument might be familiar from linear algebra if you rewrite it in terms of the bilinear form $$B(X,Z) = R(X,Y)Z.$$)

If we now rewrite the Bianchi identity $$(8)$$ using antisymmetry as

$$0 = R(X,Y)Z + R(Z,X)Y - R(Z,Y)X$$

and apply $$(6)$$ to the last two terms, we get

$$0=R(X,Y)Z - R(Y,X)Z +R(X,Y)Z = 3R(X,Y)Z$$ as desired.