Let $\mathbb{R}$ act freely and smoothly on a manifold $M$, such that the space of orbits $M/\mathbb{R}$ is a smooth manifold and the projection $M \to M/\mathbb{R}$ is a smooth submersion.
Is it then true that the $\mathbb{R}$-action is proper? I suspect that it is, but have trouble explicitly showing it. Any advice?
I see that this is some kind of converse statement to the Quotient Manifold Theorem, however that didn't help me so far.