ユークリッド幾何学
Verifying the formula for non-Euclidean geometry