theorem :: MEMBER_1:63

for f, g, h being ExtReal holds {f,g} -- {h} = {(f - h),(g - h)}