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