for X, Y being ext-real-membered set st X c= Y & Y is real-bounded holds
X is real-bounded by Th43, Th44;