Quillen’s theorem A