any two distinct points have exactly one line on both of them​