# Property of flat affine connection

Let $M$ be a smooth simply-connected manifold. Let $\nabla$ be a flat, symmetric connection on $M$. Let $p\in M$ and let $v,w\in T_pM$ belong to a normal neighborhood, such that the $\nabla$-geodesic triangle with vertices $p$, $\exp_p v$ and $\exp_p(v+w)$ is in $M$. I am looking for a proof that

where $\Pi_p^q$ denotes the (path-independent) parallel transport $T_pM\to T_qM$.

One can prove this by endowing $M$ with a metric, which is clearly Euclidean, and exploit the fact that this property holds trivially for Euclidean spaces (i.e., associativity of vector addition).

I am looking, however, for a direct proof that only uses the given properties of the connection.