I'm in my final year of my undergraduate studies doing work on modelling the n-body problem numerically and I also have some interest in theoretical guarantees. Now, I've been looking for a theorem that guarantees the following:

$$\text{KAM stable} \implies \text{smooth orbits} \tag{*}$$

To be precise I mean that if we decompose a KAM stable solution to the n-body problem into n curves(not necessarily distinct) then each of these curves must be smooth. I haven't come across such a theorem so far but I'm certain it must be true. 

**Note 1:** I haven't read all the literature on KAM theory but I've read a few introductions on the subject(ex. Jacques Fejoz). 

**Note 2:** Smoothness would rule out collision or non-collision singularities but it doesn't imply KAM stability as there are smooth orbits which aren't KAM stable. Ex: all solutions to the three body problem besides the figure eight solution. So the converse is obviously false.