3.12-congruence-and-rigid-motions comfbib