图 1 交换图
图 2 A→B和A→F的推出
图 3 B→C和B→F的推出
图 4 G1→F1和G1→G0的推出
图 5 D→F和D→M的推出
图 6 F→C和B→C的拉回
图 7 A→F′和A→D的拉回