theorem Th31: :: JGRAPH_6:31

for a, b, c, d being Real st a <= b & c <= d holds
(LSeg (|[a,c]|,|[a,d]|)) /\ (LSeg (|[a,c]|,|[b,c]|)) = {|[a,c]|}