Study of Lobachevskiy geometry, a non-Euclidean geometry with important modifications to the parallelism postulate different from Euclidean geometry