b-a>0