Margolus–Levitin-Theorem