He also assumed that if a straight line is extended to infinity it will meet itself at a single point at infinity, thus having the properties of a large circle.
他还假设如果一条直线无限延伸，它将在无穷远的一个点碰到自己，因而具备形成一个大圆的属性。