D a gltgt Allctzau b a.