Banach–Mazur Theorem - Ontify