因为直线EF包含于平面ABD,EF∥平面BDC又平面ABD交平面BCD=BD,所以EF∥BD这段证明的大前提是?我要的是大前提 大前提

因为直线EF包含于平面ABD,EF∥平面BDC又平面ABD交平面BCD=BD,所以EF∥BD这段证明的大前提是?我要的是大前提 大前提
因为直线EF包含于平面ABD,EF∥平面BDC
又平面ABD交平面BCD=BD,所以EF∥BD
这段证明的大前提是?
我要的是大前提 大前提

因为直线EF包含于平面ABD,EF∥平面BDC又平面ABD交平面BCD=BD,所以EF∥BD这段证明的大前提是?我要的是大前提 大前提
一直线与平面上的一条直线平行且不属于该平面,则该直线与该平面平行.
= =

证明：已知EF∥面BDC,且BD为面ABD与面BCD的交线.所以EF∥BD