ユークリッド幾何学
Euclidean geometry is assumed throughout.