嘉淇在证明“平行于同一条直线的两条直线平行”时，给出了如下推理过程：

已知：如图，b∥a，c∥a，求证：b∥c； 证明：作直线DF交直线a、b、c分 别于点D、E、F， ∵a∥b，∴∠1＝∠4，又∵a∥c， ∴∠1＝∠5， ∴b∥c．

小明为保证嘉淇的推理更严谨，想在方框中“∴∠1＝∠5”和“∴b∥c”之间作补充，下列说法正确的是（    ）

A、嘉淇的推理严谨，不需要补充

B、应补充∠2＝∠5

C、应补充∠3+∠5＝180°

D、应补充∠4＝∠5