theorem Th34: :: JGRAPH_6:34

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