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