r(AB)>=ra rb-n