bifurcation and continuation of halo orbits - rigorous