есть вещи теорема (как ККСЖ), а есть вещи - аксиома, а Лобачевских про пересекающиеся прямые тут хватает, я не хочу, чтобы аксиомы они мне доказывали