Точка может либо лежать на прямой, либо не лежать на ней.
Если даны прямая и две точки, либо обе точки лежат на прямой, либо одна точка лежит на прямой, а другая не лежит, либо обе точки не лежат на прямой. При этом они могут находиться по одну сторону от прямой, а могут по разные стороны от прямой.