Smale Horseshoe Theorem