theorem Th6: :: GOBOARD2:6

for f, g being FinSequence of (TOP-REAL 2) holds L~ f c= L~ (f ^ g)