Positive topological entropy for the Standard Map

We show that for the standard map family, for all values of the parameter, except one, the mapping has positive topological entropy. The main tool is the following result. Let $S$ be a compact connected orientable surface and $f:S\to S$ an area preserving orientation preserving $C\text{e}1$ diffeomorphism of $S$. Assume that $U$ is an invariant domain of $S$ such that $f{r}_{S}U$ has a finite number of connected components. Let $b$ be a regular ideal boundary point of $U$ which is fixed under the induced action by $f$ on the ideal boundary of $U$, and let $\widehat{f}:C(b)\to C(b)$ the homeomorphism on the corresponding circle of prime ends. Let $Z(b)$ be the impression of $b$ in $S$ and assume that all fixed points of $f$ in $Z(b)$ are non degenerate. If there exists a fixed prime end $e\in C(b)$ then we know the following. $\left(1\right)$ If $p$ is the principal point of $e$ then $p$ is also a fixed point of $Z(b)$ and $p$ is a saddle. $\left(2\right)$ $C(b)$ has a finite number of fixed prime ends and there exists a finite singular covering $\phi :C(b)\to Z(b)$, which is a semiconjugacy between the mapping of prime ends on $C(b)$ and the restriction of $f$ to $Z(b)$. In particular, $Z(b)$ is the connected union of finitely many saddle connections and the corresponding saddles. This can be seen as a two dimensional generalization of the dynamics of homeomorphisms of the circle with fixed points.