로바체프스키 기하학의 쌍곡선 공준: 두 직선은 서로 만나지 않고 무한히 가까워진다