AB//EF,CD//EF(已知)所以( AB )//( CD )理由是( )