theorem :: XXREAL_0:48

for a, b, c being ExtReal st a < b & b < c holds
b in REAL