[math]AB=DC\wedge AD=BC[/math][br] [math]\Downarrow[/math][br][math]AB\parallel DC\wedge AD\parallel BC[/math]