theorem Th51: :: JGRAPH_6:51

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