Page "Mackey–Arens theorem" not found :(