theorem Th135: :: MEMBER_1:135

for F, G being ext-real-membered set
for r being Real st r ++ F c= r ++ G holds
F c= G