Every two line contains at least two distinct points​