Smale-Birkhoff Homoclinic Theorem