a 0 a b-.