Numerical validation of Lemma 1 in Pasetto et al. (2014). The functions g,f, and k are defined in the text and plotted against the values of interest in the Lemma 1, i.e., in the “asymptotic” regime of validity of the uniqueness theorem. Evidently, the blue manifold always remains above the green and yellow ones for all the timescales of interest and for any angular dependence of the equations. This temporal interval covers all the stars calculated by Pasetto et al. (2016). Data are from Pasetto et al. (2019).