theorem Th5: :: GOBOARD9:6

for P, Q being convex Subset of (TOP-REAL 2) holds P /\ Q is convex