Lyapunov–Malkin_theorem loading ...