D_{a,B}>0