Let $\mathbb{X}^\prime$ be the image of body $\mathbb{X}$ (a set of points in Euclidean space) under a proper Euclidean isometry $E$. To work out how to find the rotation and displacement, I'll discuss the transformation generally, then reformulate the general discussion into a statement of Chasles' theorem.
Thinking of a general proper Euclidean Isometry
Choose any point $X_0$ within that set and let $X_0^\prime$ be its image under the transformation. Without loss of generalness, set the origin of our co-ordinate system at $X_0$. Now there is a homogeneous rotation $R$ (i.e. one with axis through the origin) that aligns the two bodies; after imparting this rotation we must translate them through the vector $X_0^\prime-X_0$ to complete the whole transformation. Call this translation $T$ and then the whole transformation is $T\,R$.
To find the rotation, choose three orthonormal vectors defined by linear combinations (found through the Gram-Schmidt process) of displacements of points in each body relative to the "origins" $X_0,\,X_0^\prime$. Since by assumption the bodies are congruent, this is the same Gram-Schmidt process (i.e. with the same subtraction co-efficients at each step) in both cases. Then we simply impart the uniquely defined rotation that maps the corresponding three orthonormal vectors into one another.
Now reformulating the above to prove Chasles' Theorem
Decompose the translation $T$ above into the unique components $T_\parallel$ parallel and $T_\perp$ orthogonal to the axis of rotation $R$. Note that $R$ commutes with $T_\parallel$, but not with $T_\perp$. Moreover, the vector represented by $T_\perp$ is in the plane of rotation, and this vector's image under $R$ is in the same plane. So if we first impart $R$, then $T_\parallel$ (as Chasles theorem would require), we still need a further pure translation $T_\perp$ in the rotation plane to complete the whole transformation.
But now instead of a homogeneous $R$, we think of the same rotation about an off-origin axis point. Let $T_3$ be any translation in the rotation plane (i.e. orthogonal to $T_\parallel$): then the inhomogeneous rotation about the point displaced by $T_3$ from the origin is $T_3\,R\,T_3^{-1}$. So we seek $T_3$ such that $T_\parallel\,T_3^{-1}\,R\,T_3 = T_\perp\,T_\parallel\,R \Rightarrow T_3^{-1}\,R\,T_3 = T_\perp\,R$ (since translations commute). With a little work, you can show this is the translation $T_3$ defined by the vector $Y$ given by $R\,Y - Y = T_\perp$, which has a unique solution $Y_\perp$ in the rotation plane (since $\ker(R-\mathrm{id})$ is any vector along the axis of rotation). So the total transformation is the rotation about an axis through the point displaced $Y_\perp$ from $X_0$, followed by the translation $T_\parallel$ along the axis of rotation; you can also switch the order of translation and rotation since a rotation always commutes with a translation along its axis of rotation.