Variation through geodesics produces a vector field satisfying a second-order curvature equation. I will separate the object being defined from the consequence being claimed.
Notation
Curvature measures the failure of covariant derivatives to commute. The Riemann tensor \(R(X,Y)Z\) contracts to Ricci curvature and restricts to sectional curvature \(K(\sigma)\).
There are two layers here: the object \(\mathsf D\) and the law \(\mathsf C\). Writing them separately makes the direction of \(\Longrightarrow\) visible and keeps an accidental converse from slipping in.
Stress the formula
The following line is the smallest calculation that still exercises the mechanism. It keeps nested delimiters and the order of operations explicit.
Interpretation
What survives the example is not its particular numbers but the relation encoded by the two rows below. That relation is the part worth transporting to a new setting.
Limit of the argument
Sign conventions for \(R\) vary by author. A sphere may receive the opposite tensor sign unless the convention is stated.
The final box is a summary, not a new assumption; the proof still lives in the definitions and the intervening calculation. The source keeps each scope delimiter visible for later inspection.