HSG.CO.B: Understand congruence in terms of rigid motions