a_0>0