DE-BUNDESWETTBEWERB 2019 Problem 3

Let $ABCD$ be a square. Choose points $E$ on $BC$ and $F$ on $CD$ so that $\angle EAF=45^\circ$ and so that neither $E$ nor $F$ is a vertex of the square. The lines $AE$ and $AF$ intersect the circumcircle of the square in the points $G$ and $H$ distinct from $A$ , respectively. Show that the lines $EF$ and $GH$ are parallel.