Prima assioma di appartenenza alla retta.