"какова бы ни была прямая, существуют точки принадлежащие и не принадлежащие этой прямой"
Это аксиома из геометрии. Здесь есть стереотипы?