A:promised
B:were promised
C:have promised
D:had been promised
Greek is ____.
如图,已知AB∥CD,CD⊥EF,垂足为N,AB与EF交于点M,求证:AB⊥EF.(用反证法证明)