theorem Th32: :: JGRAPH_6:32

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