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