theorem CrossTh: :: FINANCE5:3

for a, b being Real holds [.-infty,a.] /\ [.b,+infty.] = [.b,a.]