4 Sea $ABCD$ un cuadrilátero convexo con $\angle A+\angle D=90^\circ$ y $E$ el punto de intersección de sus diagonales. La recta $\ell$ corta a los segmentos $AB$ , $CD$ , $AE$ y $ED$ en los puntos $X,Y,Z,T$ , respectivamente. Suponga que $AZ=CE$ y $BE=DT$ . Demuestre que la longitud del segmento $XY$ no es mayor que el diámetro de la circunferencia circunscrita de $ETZ$ . Propuesto por A. Kuznetsov, I. Frolov