Quillen's theorems A and B