  We prove several sharp distortion and monotonicity theorems for spherically
convex functions defined on the unit disk involving geometric quantities such
as spherical length, spherical area and total spherical curvature. These
results can be viewed as geometric variants of the classical Schwarz lemma for
spherically convex functions.
