theorem Th52: :: JGRAPH_6:52

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