https://formulaquest.blogspot.com/2025/07/exploring-non-euclidean-geometry-formulas.html