Euclidean geometry
Verifying the formula for non-Euclidean geometry