Hermite–Lindemann theorem