Lecture 07 - The Riemannian curvature tensor