在负曲率空间中，过“直线”外一点可以引无穷多条“平行线”