theorem Th33: :: JGRAPH_6:33

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