Beckman–Quarles-tétel