  In studying the complex H\'enon maps, Mummert (in "Holomorphic shadowing for
H\'enon maps" Nonlinearity 21 pp. 2887-2898, 2008) defined an operator the
fixed points of which give rise to bounded orbits. This enabled him to obtain
an estimate of the solenoid locus. Instead of the contraction mapping theorem,
in this paper we present an implicit function theorem version of his result by
providing an alternative proof of a theorem of Hubbard and Oberste-Vorth (in
Real and Complex Dynamical Systems, pp.89-132, 1995).
