Margolus–Levitin_theorem