Isometries of $\mathbb{R}^3$ So I'm attempting a proof that isometries of $\mathbb{R}^3$ are the product of at most 4 reflections.  Preliminarily, I needed to prove that any point in $\mathbb{R}^3$ is uniquely determined by its distances from 4 non-coplanar points, and then that an isometry sends non-coplanar points to non-coplanar points in $\mathbb{R}^3$.  I've done the first preliminary step, and finished the proof assuming the second, but I can't find a simple way to prove the second...
Intuitively it makes a lot of sense that non-coplanar points be sent to non-coplanar points, but every method I've stumbled upon to prove such has been quite heavy computationally...
I know for example that any triangle chosen among the four points, A, B, C, D must be congruent to the triangles of their respective images, but what extra bit of information would allow me to say that the image of the whole configuration can't be contained in a single plane...

Would this work?  Construct the altitude from $D$ to the plane containing $A$, $B$, and $C$.  Call the foot of this altitude $E$ (the point where the altitude meets the plane).  Triangles $ADE$, $BDE$, and $CDE$ all have right angles at $E$ and you know that the isometry preserves angles, so triangles $A'D'E'$, $B'D'E'$, and $C'D'E'$ all have right angles at $E'$, which makes $A'$, $B'$, $C'$, and $E'$ coplanar and since $D'E'\ne 0$ and $\overline{D'E'}$ is perpendicular to that plane, $D'$ cannot be coplanar with the other points.
