theorem :: XREAL_1:3

for a, b being Real ex c being Real st
( a < c & b < c )