用反证法证明命题“已知A，B，C，D是空间中的四点，直线AB与CD是异面直线，则直线AC和BD也是异面直线．”