A:is still being fixed
B:is not fixing
C:has already been fixed
D:has not fixed
用反证法证明命题:如果AB∥CD,AB∥EF,那么CD∥EF.证明的第一步应是( )