theorem Th5: :: CONMETR:5

for X being OrtAfPl
for a, b being Element of X
for A, M being Subset of X st A is being_line & M is being_line & a in A & b in A & a in M & b in M & not a = b holds
A = M