for r, s being Element of RAT+ st r + s = {} holds
r = {}