Hermite--Lindemann theorem