Mazur–Ulam Theorem - Ontify