Banach–Mackey theorem