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