欧几里得几何
Verifying the formula for non-Euclidean geometry