Seja ABCD um trapézio isósceles com AB=AD=BC,AB//CD,AB>CD. Seja E=AC∩BD e N simétricos a B wrt AC. Prove que o quadrilátero ANDE é cíclico.