分裂補題
写像 t: B → A が存在して tq は A 上恒等写像である。