https://haledukinolik.novarekabet.com/foundations-of-euclidean-and-non-euclidean-geometry-book-27042eg.php