Consider two 2-Dimensional rigid bodies surrounded by two planar smooth curves. Suppose that the two bodies are in the same plane and in contact with each other such that they are rolling with respect to each other. To demonstrate the meaning of rolling, suppose that the points $C_1$ and $C_2$ in the figure below are the contact points at the present time and the points $B_1$ and $B_2$ are the points that will be in contact after some time. Then the rolling condition is defined as $s_1=s_2$. So our definition of rolling is
Definition. Two smooth curves are said to be rolling with respect to each other if the length of their contacted portions during a time interval is equal.
Now, the main question is to prove the following theorem
Theorem. Two smooth curves are rolling with respect to each other if and only if the velocity vectors of the contact points are equal to each other at the instant of contact.
So the theorem is expressing an equivalent condition for rolling. Simple versions of the theorem are rolling of a circle over a straight line, inclined line, another circle, ellipse or parabola (See the animation below). Taking a look at the links will help you to visualize better. Without loss of generality you can assume that curve $2$ is still and curve $1$ is rolling on it.
This is a well-known theorem that is taught to mechanical engineering students in a Machine Dynamics course without a proof! I was not able to find the proof anywhere in the engineering, physical or mathematical texts.
I would be happy to see a full detailed answer but I do not expect one. Also, I have not defined the problem rigorously so if you see flaws you can modify it as you wish. But I think you can imagine what I mean by the examples and links I provided. Any guidance, help or hint is welcome and appreciated.
This animation is made by J. M. and is included for better visualization.