theorem Th5: :: RCOMP_1:5

for s, g being Real holds [.s,g.] is closed