Had this theorem in Tresser's article been proven somewhere?

The article in question is About Some Theorems by L.P. Sil'nikov by Charles Tresser. I am interested in the theorem C from page 453 and a particular application of such theorem which is illustrated at Fig. 5:

This figure illustrates the occurence of Smale horseshoes in Poincare mapping near the heteroclinic cycle formed by separatrices of index $1$ saddle-focus followed by index $1$ saddle. Roughly theorem C states the following result: if there is a heteroclinic loop in $\mathbb{R}^3$ that involves saddles and saddle-foci (their stable and unstable manifolds of equilibria are organized like on Fig. 5) and the product of saddle values of equilibria from this heteroclinic loop is greater than 1, then there is a complicated hyperbolic structure in the neighbourhood of heteroclinic loop. The presence of such structure might lead to a chaotic behaviour of trajectories and this is a subject of my interest.

My question is: have you seen the complete proof of this theorem or proof for the particular example from Fig. 5? There is a proof for the case of heteroclinic cycle involving two saddle-foci (article by Turaev and Shashkov), but I haven't found an article which considers a case from Fig. 5. Tresser's article has what I understood as a sketch for proof, but I'm still interested in the full proof.

05/22/2017 I've tried to take a look at papers that directly cite Tresser's article: none of them had the proof that I was looking for.

• Would you mind stating the theorem in the body of your question for completeness?
– j.c.
Feb 15 '17 at 14:39
• @j.c. Hm, I might try, but the statement of the theorem includes some preliminary notions few pages long. I'll try to compress them for the sake of brewity, but I'm not sure that it will allow not to look in the article at all. Feb 15 '17 at 16:08
• @j.c. I've tried to add most important details about statement of theorem. The preliminaries still seem to be slightly incomressible :) Feb 15 '17 at 18:18