Hermite-Lindemann theorem