Let ABC be a triangle, right-angled at point A and with AB>AC. The tangent through A of the circumcircle G of ABC cuts BC at D. E is the reflection of A over line BC. X is the foot of the perpendicular from A over BE. Y is the midpoint of AX, Z is the intersection of BY and G other than B, and F is the intersection of AE and BC. Prove D,Z,F,E are concyclic. geometryright triangleConcyclic