Clarification on proposition 2

[stefangachter]

Thanks a lot for providing the code on github and the paper on arxiv. I am studying the paper carefully and got stuck in section B on conditional infinitesimal symmetries of GVIO. If I understand it correctly, proposition 2 addresses the dot product of the pseudo-range rate measurements. It derives the infinitesimal symmetry of the pseudo-range rate measurements. What about the norm of the pseudo-range measurements? Is the infinitesimal symmetry of pseudo-range given by the one of the rate?